Your search returned 23 results. Subscribe to this search

|
Uniform circuits and exclusive read PRAMs / Inga Niepel, Peter Rossmanith Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 34 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

An adaptive poisson solver using hierarchical bases and sparse grids / Hans-Joachim Bungartz Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 21 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Splitting as a source of parallelism in disjunctive logic programs / Ulrich Furbach Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 7 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

A simulator for VLIW architectures / G. Bockle, S. Trosch Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 50 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Modelling and performance analysis of a parallel theorem prover / M. Jobmann, J. Schumann Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 17 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Topsys - tools for parallel systems / Sally Baker... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 310 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Setheo-Partheo : users manual / Johann Schumann, Norbert Trapp, Martin van der Koelen Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 36 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Transformation und Komposition von P-T - Netzen unter Erhaltung wesentlicher Eigenschaften / A. Heise, C. Dimitrovici Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 78 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Zur Losung von Finite-Differenzen- und Finite-Element-Gleichungen mittels der Hierarchischen-Transformations-Mehrgitter-Methode / Michael Griebel Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 123 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Setheo : a high-performance theorem prover / Reinhold Letz... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 30 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Schnellere Berechnung klassischer Matrix-Multiplikationen / P. Slavkovsky, U. Rüde Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 10 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Fouriertransformation auf dünnen Gittern mit hierarchischen Basen / Christoph Zenger, Klaus Hallatschek Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 16 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The design and implementation of Topsys : version 1.0 / Thomas Bemmerl... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description V, 267 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Parallel multigrid methods on sparse grids / Michael Griebel Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 19 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Speedup analysis by hierarchical load decomposition / Eike Jessen Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 28 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Summary of case studies in Focus - a design method for distributed systems / Manfred Broy... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1992 Description 12 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Implementierung von Algorithmen zur Optimierung von Schleifen mit Hilfe von Software - Pipelining Techniken / Reiner Müller Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 84 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Formalisms and languages for specifying parallel inference systems / Wolfgang Ertel... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 37 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The combination technique for the sparse grid solution of PDE's on multiprocessor machines / Michael Griebel Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 8 p. : il. gráficos) LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung / R. Fom̀eier Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 24 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).